ساختن اندازه هار در زیرنظریه هایی از حساب مرتبه دوم با ارزشهای نااستاندارد یا استاندارد

thesis
abstract

در این پایان نامه به توصیف نتایج ‏‎tanaka-yamazaki‎‏ که در سال 2000 میلادی در ‏‎j.symbolic logic‎‏ به چاپ رسیده است می پردازیم که در آن مطالعه ریاضیات وارونه وجود (و یکتایی) اندازه هار برای گروههای فشرده جدایی پذیر (دارای مدول پیوستگی یکنواخت برای دو عمل) پرداخته می شود. نشان داده می شود که وجود‏‎‎‏ اندازه هار برای گروههای فشرده جدائی پذیر روی نظریه زمینه ای ‏‎rca‎‏، معادل با لم ضعیف کونیگ می باشد. اثبات مذکور از دو اثبات متباین و قدیمی تر که یکی ساختنی و دیگری نااستاندارد بوده است ریشه گرفته است. در ادامه بدون استفاده از روشهای نااستاندارد، ثابت می شود که روی ‏‎rca‎‏، این حکم که هر گروه فشرده جدایی پذیر که دو عمل آن مدول پیوستگی یکنواخت دارند دارای یک اندازه هار یکتاست، با ‏‎wwkl‎‏ معادل است. در سه فصل نخست مقدمات لازم شامل وجود و یگانگی اندازه هار در ریاضیات کلاسیک (با روشهای استاندارد و نااستاندارد) و نیز پیش نیازهای لازم از زیرنظریه های حساب مرتبه دوم شامل مطالبی از نظریه اندازه، آنالیز نااستاندارد و قضیه خود نشانندگی برای ‏‎wkl‎‏ آورده شده است.

First 15 pages

Signup for downloading 15 first pages

Already have an account?login

similar resources

حساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی

در این مقاله، مروری بر نظریه های مرتبه اول حساب خواهیم داشت. همچنین اشاره خواهیم کرد که زیرنظریه های ضعیف حساب، ارتباط های اساسی با نظریه پیچیدگی دارند. در انتها، اشاره ای به نظریه های مرتبه اول شهودی حساب خواهیم کرد.

full text

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

مدل های نااستاندارد تعریف پذیر در حساب پئانو

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.

15 صفحه اول

تلاقی مرتبه ی اول و تلاقی مرتبه ی دوم از مفهوم "ورزیدن" در فلسفه ی ویتگنشتاین

در این مقاله اولاً نشان داده شده که تلقی متعارف از مفهوم "ورزیدن" در فلسفه ویتگنشتاین عبارت است از تلقی درمانگرایانه. مطابق با این تلقی، معیار هنجاری صحت و سقم کاربست واژگان را نمی‌توان در قالب کلمات قرار داد. این تلقی را می‌توان سویه سلبی ایده هنجارمندی قلمداد کرد. ثانیاً استدلال خواهد شد که تلقی درمانگرایانه کفایت نمی‌کند. برای بدست دادن تلقی موجه از ایده‌ هنجارمندی، سویه ایجابی مفهوم "ورزیدن" ...

full text

مطالعه آزمایشگاهی و عددی خرابی در سنگ گرانیتی با استفاده از تانسور ترک مرتبه دوم

یکی از رویکردهای مورد استفاده در بررسی اثرات ترک بر رفتار محیط ناپیوسته سنگی، مطالعه بر روی محیط پیوسته معادل محیط ترک خورده می باشد. از جمله این روش ها، روش مبتنی بر تانسور ترک است که اثرات هندسی حضور ترک ها شامل اندازه، امتداد، و چگالی عددی آن ها را در بر می گیرد. نوشته حاضر به رویکرد جدید تعیین تانسور ترک از مرتبه دوم با استفاده از آزمایشات تعیین سرعت موج طولی در محیط پرداخته و نیز بر نقش آن...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس

Keywords

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023